﻿body {
	color: Black;
}
pre {
	background-color: #EDEDED;
	border-color: Gray;
}
a {
	color: #333333;

}
a:visited {
	color: Purple;
}
a:hover {
	text-decoration:none;
/*	color:white;
	background:#0070C0;
	border: 1px solid #0070C0;*/
}
a:active {
	color: Red;
}

span.red {
	color: Red;
}

.tint-blue {
	background-color: #EEEEFF;
}
